Timing Tolerances in Safety-Critical Software
نویسندگان
چکیده
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour that includes precise definitions as well as analysis of how functional timing requirements interact with performance timing requirements, and how these concepts can be used by software designers. The definitions and analysis presented explicitly deal with tolerances in all timing durations. Preliminary work indicates that some requirements may be met at significantly reduced CPU bandwidth through reduced variation in cycle time.
منابع مشابه
An investigation the effects of geometric tolerances on the natural frequencies of rotating shafts
This paper examines the effects of geometric tolerances on the natural frequencies of rotating shafts. In order to model the tolerances, a code is written in MATLAB 2013 that produces deviated points. Deviated points are controlled by different geometric tolerances, including cylindricity, total run-out and coaxiality tolerances. Final surfaces and models passing through the points are created ...
متن کاملThe formal modelling and verification of safety critical ATP software design
The safety of software is becoming increasingly important as computers pervade control systems on which human life depends. This has become more complex and in rail transportation fields and the methods to ensure its correctness have been slow in development. One feasible approach is to mathematically verify software design in such systems with Formal Methods. ATP (Automatic Train Protection) i...
متن کاملConfidence in Timing
All contemporary safety standards require to demonstrate the absence of functional and non-functional safety hazards. In real-time systems this includes demonstrating the absence of critical timing hazards. To meet this verification objective it is necessary to show the correctness of the timing behavior with adequate confidence. Adequate confidence means that the evidence provided can be trust...
متن کاملEvaluating Critical Safety and Health Risks by Job Safety Analysis and Analytic Hierarchy Process in Industrial Printing
Background: Critical risks are one of the most important problems in industries, which have high costs for the industry. This study aimed to assess critical safety and health risks through job safety analysis and analytic hierarchy process in industrial printing. Materials and Methods: The present study was conducted as a descriptive and analytical in one of the printing industries in Iran, in...
متن کاملAchieving System-level Fault-tolerance with Controlled Resets
Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, leading to increased complexity and connectivity. Despite the fast growing complexity, guaranteeing safety is of the utmost importance. Nonetheless, platform-wide software verification is often expensive. Therefore, design methods that enable utilization of components such a...
متن کامل